Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
All rihgt!
太好了！
I try to keep in touch with current events by reading the newspapers.
我经常读报以尽量了解时事。
This hobby educates one not only in the chosen subject, but also in general matters which have some bearing on it.
这种爱好不仅能使人从选择的专题中受到教育，而且也能从与之有关的一般事物中获得长进。